3.2.71 \(\int \frac {(b x^2+c x^4)^3}{x^{15}} \, dx\) [171]

Optimal. Leaf size=19 \[ -\frac {\left (b+c x^2\right )^4}{8 b x^8} \]

[Out]

-1/8*(c*x^2+b)^4/b/x^8

________________________________________________________________________________________

Rubi [A]
time = 0.01, antiderivative size = 19, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 17, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.118, Rules used = {1598, 270} \begin {gather*} -\frac {\left (b+c x^2\right )^4}{8 b x^8} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(b*x^2 + c*x^4)^3/x^15,x]

[Out]

-1/8*(b + c*x^2)^4/(b*x^8)

Rule 270

Int[((c_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[(c*x)^(m + 1)*((a + b*x^n)^(p + 1)/(a*
c*(m + 1))), x] /; FreeQ[{a, b, c, m, n, p}, x] && EqQ[(m + 1)/n + p + 1, 0] && NeQ[m, -1]

Rule 1598

Int[(u_.)*(x_)^(m_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.))^(n_.), x_Symbol] :> Int[u*x^(m + n*p)*(a + b*x^(q -
p))^n, x] /; FreeQ[{a, b, m, p, q}, x] && IntegerQ[n] && PosQ[q - p]

Rubi steps

\begin {align*} \int \frac {\left (b x^2+c x^4\right )^3}{x^{15}} \, dx &=\int \frac {\left (b+c x^2\right )^3}{x^9} \, dx\\ &=-\frac {\left (b+c x^2\right )^4}{8 b x^8}\\ \end {align*}

________________________________________________________________________________________

Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(43\) vs. \(2(19)=38\).
time = 0.01, size = 43, normalized size = 2.26 \begin {gather*} -\frac {b^3}{8 x^8}-\frac {b^2 c}{2 x^6}-\frac {3 b c^2}{4 x^4}-\frac {c^3}{2 x^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(b*x^2 + c*x^4)^3/x^15,x]

[Out]

-1/8*b^3/x^8 - (b^2*c)/(2*x^6) - (3*b*c^2)/(4*x^4) - c^3/(2*x^2)

________________________________________________________________________________________

Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(35\) vs. \(2(17)=34\).
time = 0.09, size = 36, normalized size = 1.89

method	result	size
gosper	\(-\frac {4 c^{3} x^{6}+6 b \,c^{2} x^{4}+4 b^{2} c \,x^{2}+b^{3}}{8 x^{8}}\)	\(36\)
default	\(-\frac {3 b \,c^{2}}{4 x^{4}}-\frac {c^{3}}{2 x^{2}}-\frac {b^{3}}{8 x^{8}}-\frac {b^{2} c}{2 x^{6}}\)	\(36\)
risch	\(\frac {-\frac {1}{2} c^{3} x^{6}-\frac {3}{4} b \,c^{2} x^{4}-\frac {1}{2} b^{2} c \,x^{2}-\frac {1}{8} b^{3}}{x^{8}}\)	\(37\)
norman	\(\frac {-\frac {1}{8} b^{3} x^{6}-\frac {1}{2} c^{3} x^{12}-\frac {3}{4} b \,c^{2} x^{10}-\frac {1}{2} b^{2} c \,x^{8}}{x^{14}}\)	\(40\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((c*x^4+b*x^2)^3/x^15,x,method=_RETURNVERBOSE)

[Out]

-3/4*b*c^2/x^4-1/2*c^3/x^2-1/8*b^3/x^8-1/2*b^2*c/x^6

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 35 vs. \(2 (17) = 34\).
time = 0.28, size = 35, normalized size = 1.84 \begin {gather*} -\frac {4 \, c^{3} x^{6} + 6 \, b c^{2} x^{4} + 4 \, b^{2} c x^{2} + b^{3}}{8 \, x^{8}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((c*x^4+b*x^2)^3/x^15,x, algorithm="maxima")

[Out]

-1/8*(4*c^3*x^6 + 6*b*c^2*x^4 + 4*b^2*c*x^2 + b^3)/x^8

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 35 vs. \(2 (17) = 34\).
time = 0.33, size = 35, normalized size = 1.84 \begin {gather*} -\frac {4 \, c^{3} x^{6} + 6 \, b c^{2} x^{4} + 4 \, b^{2} c x^{2} + b^{3}}{8 \, x^{8}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((c*x^4+b*x^2)^3/x^15,x, algorithm="fricas")

[Out]

-1/8*(4*c^3*x^6 + 6*b*c^2*x^4 + 4*b^2*c*x^2 + b^3)/x^8

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 37 vs. \(2 (15) = 30\).
time = 0.12, size = 37, normalized size = 1.95 \begin {gather*} \frac {- b^{3} - 4 b^{2} c x^{2} - 6 b c^{2} x^{4} - 4 c^{3} x^{6}}{8 x^{8}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((c*x**4+b*x**2)**3/x**15,x)

[Out]

(-b**3 - 4*b**2*c*x**2 - 6*b*c**2*x**4 - 4*c**3*x**6)/(8*x**8)

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 35 vs. \(2 (17) = 34\).
time = 4.61, size = 35, normalized size = 1.84 \begin {gather*} -\frac {4 \, c^{3} x^{6} + 6 \, b c^{2} x^{4} + 4 \, b^{2} c x^{2} + b^{3}}{8 \, x^{8}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((c*x^4+b*x^2)^3/x^15,x, algorithm="giac")

[Out]

-1/8*(4*c^3*x^6 + 6*b*c^2*x^4 + 4*b^2*c*x^2 + b^3)/x^8

________________________________________________________________________________________

Mupad [B]
time = 0.03, size = 37, normalized size = 1.95 \begin {gather*} -\frac {\frac {b^3}{8}+\frac {b^2\,c\,x^2}{2}+\frac {3\,b\,c^2\,x^4}{4}+\frac {c^3\,x^6}{2}}{x^8} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((b*x^2 + c*x^4)^3/x^15,x)

[Out]

-(b^3/8 + (c^3*x^6)/2 + (b^2*c*x^2)/2 + (3*b*c^2*x^4)/4)/x^8

________________________________________________________________________________________